5

On the undecidability of logics with converse, nominals, recursion and counting

Year:
2004
Language:
english
File:
PDF, 322 KB
english, 2004
6

Autoepistemic logics as a unifying framework for the semantics of logic programs

Year:
1995
Language:
english
File:
PDF, 2.98 MB
english, 1995
7

Reasoning with infinite stable models

Year:
2004
Language:
english
File:
PDF, 354 KB
english, 2004
9

Sequent calculi for propositional nonmonotonic logics

Year:
2002
Language:
english
File:
PDF, 437 KB
english, 2002
11

Event-driven RBAC

Year:
2015
Language:
english
File:
PDF, 476 KB
english, 2015
13

Secure Agents

Year:
2003
Language:
english
File:
PDF, 417 KB
english, 2003
15

Autoepistemic logic programming

Year:
1994
Language:
english
File:
PDF, 1.86 MB
english, 1994
19

A decidable subclass of finitary programs

Year:
2010
Language:
english
File:
PDF, 278 KB
english, 2010
23

On finitely recursive programs

Year:
2009
Language:
english
File:
PDF, 237 KB
english, 2009
28

Querying disjunctive databases through nonmonotonic logics

Year:
1996
Language:
english
File:
PDF, 2.78 MB
english, 1996
29

A Three-valued Formalization of Provability

Year:
1995
Language:
english
File:
PDF, 1.29 MB
english, 1995
30

Lying versus refusal for known potential secrets

Year:
2001
Language:
english
File:
PDF, 192 KB
english, 2001